Deterministic Finite Automaton